A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T

Source URL: www.cs.uu.nl

• Constraint programming
• Declarative programming
• Symbol

COPYRIGHT NOTICE: Jelle Zeilinga de Boer and Donald Theodore Sanders: Earthquakes in Human History is published by Princeton University Press and copyrighted, © 2004, by Princeton University Press. All rights reserved.

Source URL: press.princeton.edu

• Tectonics
• Fault
• Subduction
• Continental crust
• Asthenosphere
• Intraplate earthquake
• Submarine earthquake
• Geology
• Plate tectonics
• Earthquake

Programmeren & Correctheid Docent: Prof. dr. F.S. de Boer∗ Assistenten: Nikolaos Bezirgiannis†and Vlad Serbanescu‡ Literatuur Verification of Sequential and Concurrent Programs.

Source URL: homepages.cwi.nl

Published in cooperation with UNEP Division of Environmental Law and Conventions (DELC) UNEP MEA BULLETIN

Source URL: www.iisd.ca

• Climate change policy
• Carbon finance
• Global Environment Facility
• Adaptation to global warming
• United Nations Convention to Combat Desertification
• Kyoto Protocol
• United Nations Climate Change Conference
• Yvo de Boer
• Reducing Emissions from Deforestation and Forest Degradation
• Environment
• Earth
• United Nations Framework Convention on Climate Change

Published in cooperation with UNEP Division of Environmental Law and Conventions (DELC) UNEP MEA BULLETIN

Source URL: www.iisd.ca

• Carbon finance
• Climate change policy
• Forestry
• Global Environment Facility
• Bali Road Map
• United Nations Climate Change Conference
• Adaptation to global warming
• Copenhagen Accord
• Yvo de Boer
• Environment
• United Nations Framework Convention on Climate Change
• Earth

Published in cooperation with UNEP Division of Environmental Law and Conventions (DELC) UNEP MEA BULLETIN

Source URL: www.iisd.ca

• Carbon finance
• Climate change
• Earth
• Bali Road Map
• UN-REDD
• United Nations Climate Change Conference
• Yvo de Boer
• Reducing Emissions from Deforestation and Forest Degradation
• Copenhagen Accord
• Environment
• United Nations Framework Convention on Climate Change
• Climate change policy

SB 26 Earth Negotiations Bulletin . . . . . . . . . . . . . . . . . . . . . . . . . . #2 A Reporting Service for Environment and Development Negotiations

Source URL: www.iisd.ca

• Carbon finance
• Climate change
• International relations
• Intergovernmental Panel on Climate Change
• Kyoto Protocol
• The Adaptation Fund
• Yvo de Boer
• State Bank of India
• Emissions trading
• United Nations Framework Convention on Climate Change
• Environment
• Climate change policy

A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland

Source URL: www.cs.uu.nl

• Applied mathematics
• AgentSpeak
• Operational semantics
• Bisimulation
• Programming language
• Agent-based model
• State transition system
• 3APL
• Logic programming
• Multi-agent systems
• Computing
• Theoretical computer science

ZERO squared from 7 February until 17 May 2015 in the TextielMuseum Tilburg with work by Henk Peeters, Jan Schoonhoven, Corrie de Boer, Madeleine Bosscher, Marian Bijlenga, Ria van Eyk, Wil Fruytier, Marijke de Goey, Lo

Source URL: www.textielmuseum.nl

• Schoonhoven
• Visual arts
• Modern artists
• Henk Peeters
• Henk

Anders, of toch niet? Een onderzoek naar de mogelijkheden van meer Awb-conforme onderwijswetgeving Mr. J.A. de Boer (TiU) Prof. mr. drs. F.C.M.A. Michiels (TiU)

Source URL: assets.budh.nl